choledocholithotomies