Real-Time Receiver Clock Jump Detection for Code Absolute Positioning with Kalman Filter