Verification of the precise position of the aircraft in air navigation based on the solution of the RTK-OTF technique