cyanide is used in mining