Trade-off designs of power-to-methane systems via solid-oxide electrolyzer and the application to biogas upgrading. (1st August 2019)