A model of vertebral motion and key point recognition of drilling with force in robot-assisted spinal surgery.