Biomechanics of adjacent segments after a multilevel cervical corpectomy using anterior, posterior, and combined anterior-posterior instrumentation techniques: a finite element model study.