Reflections on Richie Porte's Tour de France crash