Text this: Development of an explainable prediction model for portal vein system thrombosis post-splenectomy in patients with cirrhosis