Calculating holiday entitlement when working patterns change