Do astronomers classify planets?