Statistics for Envelope Detection by Shannon Energy Calculation in DCT Domain and DFS-Based Notch Filter for Interference Mitigation in GNSS Receivers