Electrochemical machining, i.e. removing metal by passing current between an electrode and a workpiece in the presence of an electrolyte