Seol mar théacs é seo: Planning and Registration Techniques for Image-Guided Robotic Spinal Surgery