Dynamics, ephemerides, and astrometry of the solar system