We are all familiar with the names of the eight planets that orbit our sun (and poor old Pluto, which remains somewhat controversially re-classified as a dwarf planet).