How airport slots are allocated to airlines