Mechanism of ozonolysis. (a) Microwave spectra, structures, and dipole moments of propylene and trans-2-butene ozonides. (b) Orbital symmetry analysis