spiral galaxy formation