Calculations on the reaction of ruthenium tetroxide with olefins using density functional theory (DFT). Implications for the possibility of intermediates in osmium-catalyzed asymmetric dihydroxylation