Is there a law that states if you have to work on a public holiday i.e Christmas day, New Years day you have to get either double time or a day off in lieu or is it just up to the discretion of the company?