Mixed-Integer Programming Solution to Zone-Based Air Traffic Management Problem