Fundamentals of Global Positioning System Receivers