Transient and intermediate carbocations in ruthenium tetroxide oxidation of saturated rings