Design and optimization of pressurized ammonia solid oxide fuel cell systems with anode recirculation for co-production of hydrogen and electricity | Synapse