Cycle Slip Detection and Ambiguity Resolution Algorithms for Dual-Frequency GPS Data Processing