High Court decision regarding rostering employees to work public holidays