Extensometers are Changing the World of Underground Mining