Quantum mechanical DFT elucidation of CO2catalytic conversion mechanisms: Three examples