Portal hypertension in children.