galaxy formation theories