Orbit Determination with NASA's High Accuracy Real-Time Global Differential GPS System