Consecutive versus separate sessions of endoscopic ultrasound (EUS) and endoscopic retrograde cholangiopancreatography (ERCP) for symptomatic choledocholithiasis