Management of portal hypertension in children.