Efficient airplane arrival scheduling using a set partitioning-based branch-and-price method. (December 2018)