Dynamic biogas upgrading based on the Sabatier process: Thermodynamic and dynamic process simulation