Digital computers in electrochemistry