How astronomers work out the size of our solar system