Seol mar théacs é seo: Fundamentals of GPS receivers