Are employees on leave entitled to holiday pay?