Laparoscopic choledochotomy for bile duct stones.