Mining in the Digital Age: How Technology Is Revolutionizing the Mineral Industry