Modeling gas-diffusion electrodes for CO2 reduction | Synapse