Augmenting Intraoperative 3D Ultrasound with Preoperative Models for Navigation in Liver Surgery