diation measuring instruments for mining