Portal hypertension in primary biliary cirrhosis