Accurate Solution of Navigation Equations in GPS Receivers for Very High Velocities Using Pseudorange Measurements (Advances in Aerospace Engineering, 2014)