IoT and Artificial Intelligence applications in the mining industry,