Fundamentals of GPS Receivers