'Duur van nachtarbeid': onderscheid tussen werknemers in publieke en private sector toegestaan