Modeling and Validating Orbits and Clocks Using the Global Positioning System.pdf