Difference Between the Length of the True Propagation Path and the Geometrical Path of Radio Waves Transmitted by GPS Satellites