The Theory of the GPS Composite Clock