Title: Positioning with NAVSTAR, the global positioning system