Text this: Successful endoscopic mechanical lithotripsy for post-ERCP gallstone ileus: a case report