Microsoft finds workers are more productive with a 4-day workweek