How many species of dinosaur have been discovered?