STL model, virtual planning, and intraoperative navigation,STL model, virtual planning, and intraoperative navigation