Models and Algorithms for the Airport Capacity Allocation Problem