The application of LEOS to Cycle Ambiguity Resolution on Navstar Transmissions for Kinematic Carrier-Phase Positioning