Compensation for work on public holidays