Distal splenorenal shunt procedure