The observational basis for JPL's DE 200, the planetary ephemerides of the Astronomical Almanac