ASTRONOMY: With the demotion of Pluto, it's now the smallest, least massive planet