A comprehensive finite element model of surgical treatment for cervical myelopathy. (April 2020)