Pathogenesis and diagnosis of hepatic encephalopathy