How the dinosaurs all went extinct