How many different types of galaxies are there?