how many galaxies are there