instructments use in mining engineering