Operation Planning In Mineral Industries: Time-Cost Trade-Off, Equipment Selection, And Workforce Optimization Models