cholecystolithotomy