Treatment of symptomatic choledocholithiasis during pregnancy.