On the cleansing and inspection of GPS ephemeris data 2000–2016