A two-level hierarchical framework for air traffic flow management (International Journal of Decision Support Systems)