How is a part time worker’s holiday calculated?