Bernie Sanders' proposed 32-hour workweek