formation of galaxies