Oxidation induced decomposition of ethylene carbonate from DFT calculations – importance of explicitly treating surrounding solvent | Synapse