Recycling of carbon dioxide using a proton conductor as a solid electrolyte