cholelithotomies