Astronomical catalogues of planets