chemicals used in mining industry