Interference Mitigation in GNSS Receivers by a Time-Frequency Approach