Simulation-Based Analysis of a Sabatier Reactor for Conversion of CO2 into Renewable Natural Gas