Theoretical modeling of electrochemical carbon mineralization | Synapse