How do astronomers explain the formation of the moon?