types of chemicals used in mining industry