Modeling and Design for Electrochemical Carbon Dioxide Capture Systems