Modeling and validating orbits and clocks using the Global Positioning System