First-principles simulations of the electrode|electrolyte interface