First-Principles Electrochemical Modeling Of Hydrogen Evolution Reaction