Reinforced stapler vs. ultrasonic dissector for pancreatic transection and stump closure for distal pancreatectomy: a propensity-matched analysis