Basic GNSS theory
(BGT)