Global Positioning System: Theory and Applications, 2-Volume Set (Progress in Astronautics and Aeronautics Series)