Computational and theoretical electrochemistry