Cholesterol α- and β-epoxides as obligatory intermediates in the hepatic microsomal metabolism of cholesterol to cholestanetriol