Machine learning in the mining industry -- a case study