4-day workweek made workers happier and more efficient