Integration between biomass gasification and high-temperature electrolysis for synthetic methane production