How many types of dinosaurs exist?