equipment used in mining or exploring