Aviation Planning and Design Automation