Electrochemical intermediate species and reaction pathway in H2 oxidation on solid electrolytes.