What is the name of the current theory that astronomers have developed that is used to describe the possible formation of the solar system?