The Dutch are quietly shifting towards a four-day work week