Pruning rules for optimal runway sequencing with airline preferences