Text this: Accurate Solution of Navigation Equations in GPS Receivers for Very High Velocities Using Pseudorange Measurements