STL model, virtual planning, and intraoperative navigation