Robust Carrier Tracking Techniques for GNSS Receivers affected by Ionospheric Scintillation