Definition of planet