The oxidation of carbohydrate derivatives with ruthenium tetroxide