Progressive familial cholestatic cirrhosis and bile acid metabolism