After dinosaurs became extinct, the number of mammal species increased greatly. What process applies to this example?