Has the working-from-home revolution been good for productivity? Or is it time for office workers to go back to the office?