Energy from CO2 using capacitive electrodes - a model for energy extraction cycles.