Implicit self-consistent electrolyte model in plane-wave density-functional theory.