Management of choledocholithiasis