Proton Binding to Proteins:  p K a Calculations with Explicit and Implicit Solvent Models | Synapse