Integration between Biomass Gasification and High-Temperature Electrolysis for Synthetic Methane Production