A decade of open pit mine planning and optimization - The craft of turning algorithms into packages