Kalman Filter-Based Carrier Tracking with Ionospheric Scintillation Mitigation for GNSS