HR advice: Bank holiday entitlement for part timers – how do I calculate it?