On Optimal Cooperative Conflict Resolution for Air Traffic Management Systems