Solid Oxide Electrochemical Cells for High Temperature Hydrogen Production: Theory, Fabrication and Characterization