quantitative management in mining