Single-operator cholangioscopy and electrohydraulic lithotripsy for the treatment of Mirizzi syndrome