The State of Technological Innovation in the Mining Industry