Exploring the potential benefits of multi-aircraft trajectory manipulation in future air traffic control