Does a 4-day workweek make sense?