HR advice for companies: How do we calculate the holiday entitlement for part-timers?