Mathematical Challenges in Global Positioning Systems (GPS)