how big was the asteroid that killed the dinosaurs