Two-electron reduction of ethylene carbonate: A quantum chemistry re-examination of mechanisms