Is cholecystectomy necessary after endoscopic treatment of bile duct stones in patients older than 80 years of age?