Surgery for cervical stenosis: anterior cervical decompression, corpectomy, and fusion