The Case for an Automation-Powered 4-Day Work Week