dinosaur population