Bernie Sanders: If AI makes us so productive, we should get a 4-day work week