Long-term outcome of laminectomy and instrumented fusion for cervical ossification of the posterior longitudinal ligament