Computational Study on the Ozonolysis of Alkenes