Oxidation induced decomposition of ethylene carbonate from DFT calculations--importance of explicitly treating surrounding solvent.