An Interactive Real-Time Cutting Technique for 3D Models in Mixed Reality