Mathematical Optimization Methods For Aircraft Conflict Resolution In Air Traffic Control