Cervical laminectomy and dentate ligament section for cervical spondylotic myelopathy.