Did the dinosaur extinction lead to the evolution of larger mammals?