Global Positioning System: Theory and Applications