NASA’s aircraft guidance system Soxnav for planes flying at high speeds up to 500 mph