Modeling, Simulation, and Operation of a Sabatier Reactor