electric tools used in mining industry