Generation of conflict resolution maneuvers for air traffic management