Intraoperative ultrasound in surgery for hepatocellular carcinoma