Explanatory Supplement to the Astronomical Ephemeris and the American Ephemeris and Nautical Almanac