An AI just embarrassed the US Air Force in a virtual dogfight