Instantaneous Real-time Cycle-slip Correction of Dual-frequency GPS Data