Electrochemical effects in the chemical-mechanical polishing of copper for integrated circuits