What is the theory that explains how the solar system was formed?