Diagnosis and surgery of ossification of posterior longitudinal ligament associated with dural ossification in the cervical spine