How many galaxies are there in the universe?