Holiday entitlements: the basics