When Pluto was discovered in 1930, it was named the 9th planet of the solar system. More than 75 years later, that planetary status revoked and Pluto was demoted as _____.