Splenic artery ligation in distal splenorenal shunts