Paid holiday entitlements, weekly working hours and earnings in the UK