Mechanism design for en route conflict resolution in air traffic control