Calculations on the reaction of ruthenium tetraoxide with olefins using density-functional theory (dft) - implications for the possibility of intermediates in the osmium-catalyzed asymmetric dihydroxylation (ad)