~REPACK~ Global Positioning System: Signals, Measurements, And Performance (Revised Secon