Shunt surgery for treatment of portal hypertension in children