Density functional theory study of the electrochemical interface between a Pt electrode and an aqueous electrolyte using an implicit solvent method | Synapse