Text this: Ionospheric Propagation Effects on GNSS Signals and New Correction Approaches