Every now and then, you hear news about miners getting trapped in China, in Africa, in the Andes, Eastern Europe and Central Asia as well as in other parts of the world where mining is an important