Robotic system for spinal procedures