Work time reduction via 4-day workweek finds improvements in workers' well-being