Enhanced fault detection and exclusion based on Kalman filter with colored measurement noise and application to RTK