Two-stage combinatorial optimization framework for air traffic flow management under constrained capacity