A data-driven optimization model for the workover rig scheduling problem: Case study in an oil company. (February 2023)