equipments used for mining exploration