Global Positioning System Theory & Practice