Methane oxidation by oxygen transported through solid electrolyte