Exergo-economic analysis of a direct biogas upgrading process to synthetic natural gas via integrated high-temperature electrolysis and methanation