Analysis and Design of Methanation Processes in the Production of Substitute Natural Gas from Coal | Synapse