The Role of Proton Conducting Solid Oxide Electrochemical Cells in Anthropogenic Carbon Cycles