four different types of dinosaurs with their names