Electrochemical oxidation of piperidine at mercury and platinum