SMS: Planning and Registration Techniques for Image-Guided Robotic Spinal Surgery