AR-assisted craniotomy planning for tumor resection