Underground mining is a key global industry that produces many of the mineral resources needed by several sectors of the economy. However, underground mining extracts large volumes of material from below the ground, which ...