Four-day workweeks make employees happier—but not always more productive