Design of diversified package tours for the digital travel industry: A branch-cut-and-price approach