Pareto-optimal methanation catalysts