Introducing competition through auctions in the air traffic control market