Mining has evolved in the 21st century into an indispensable industry that provides a variety of mineral products needed to sustain a modern society. To achieve efficiency, it has …