Thermodynamic Modeling of CO2 Separation Systems with Soluble, Redox-Active Capture Species