Working Time, Central government, Norway