How many galaxies are in the universe?