An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System