A randomized controlled trial of laparoscopic versus open cholecystectomy in patients with cirrhotic portal hypertension.