Electron energy levels in semiconductor electrochemistry