Observations and theories of quantum effects in proton transfer electrode processes