Global Positioning System: Signals, Measurements, and Performance (Revised Second Edition)