Time-Frequency Analysis for GNSSs: From interference mitigation to system monitoring