GPS in aviation