Mining of minerals is important for the advancement of modern society. However, over many years of mining, shallow resources are depleting with the need to migrate to deep levels. Mining at depth ...