Catalytic methanation of CO2 with NH3