Theory Rules Out a [2 + 2] Addition of Osmium Tetroxide to Olefins as Initial Step of the Dihydroxylation Reaction