Accurate solution of navigation equations in GPS receivers for very high velocities using pseudorange measurements