The Crucial Role of Machine Learning in the Mining Industry