If we assume that Pluto is a planet, how many planets there are in the solar system?