UK researchers at University of Exeter, Alan Turing Institute and NATS develop virtual airspace to train AI air traffic controllers