Biomechanical analysis of laminectomy, laminoplasty, posterior decompression with instrumented fusion, and anterior decompression with fusion for the kyphotic cervical spine