GPS Status and Modernization Progress: Service, Satellites, Control Segment, and Military GPS User Equipment