Kinetics of the electrochemical formation of fluorine at carbon electrodes