Extraction and production of hydrogen using high-temperature proton conductor