the solar system has 9 known planets