High-pressure liquid chromatography of carbohydrates