Choledocholithiasis resolved in a patient with Roux-en-Y gastric bypass through endoscopic ultrasound with the EDGE technique: A case report and literature review