Title: Explanatory supplement to the Astronomical Ephemeris and the American Ephemeris and Nautical Almanac