Galvanic sulphide oxidation as a metal-leaching mechanism and its environmental implications