SMS dit: Fundamentals of GPS receivers