A practical, long-term production scheduling model in open pit mines using integer linear programming | Synapse