Freeways in the Sky: Exploring Tube Airspace Design Through Mixed Integer Programming