How many dinosaurs in total lived on Earth during all periods?