A differential carrier-phase navigation system combining GPS with low Earth orbit satellites for rapid resolution of integer cycle ambiguities