Spinal biomechanics modeling and finite element analysis of surgical instrument interaction. (1st October 2019)