Introduction: computational electrochemistry