A branch-and-price-and-cut algorithm for operating room scheduling under human resource constraints.