Definition of a planet