Surgical treatment of portal hypertension