Molecular orbital versus DFT calculations in CO2-sequestration reactions with anions: Basis set extrapolation and solvent effects