How did spiral galaxies form?