Should prophylactic cholecystectomy be performed in patients with concomitant gallstones after endoscopic sphincterotomy for bile duct stones?