Was there similar pushback from the general population on Ceres being demoted from planet to asteroid as Pluto being demoted from planet to dwarf planet?