What will we do when AI automates work AND leisure?