Mathematical modeling of proton-conducting electrochemical cells for ethylene production from ethane