Quantitative analysis of lactose and lactulose in urine by high performance liquid chromatography for determination of intestinal lactase activity