Tokyo is set to introduce a four-day workweek for government employees