Optimization-Based Control For Conflict Resolution In Air Traffic Management