Innovation in the Mining Industry: Technological Trends and a Case Study of the Challenges of Disruptive Innovation