Introduction to GPS: The Global Positioning System, Second Edition