GraphDAC: A Graph-Analytic Approach to Dynamic Airspace Configuration