A model of vertebral motion and key point recognition of drilling with force in robot-assisted spinal surgery | IEEE Conference Publication | IEEE Xplore