What is Industry 4.0 and how is it shaping the future of the mining industry