Gravar-mail: Diagnosis and surgery of ossification of posterior longitudinal ligament associated with dural ossification in the cervical spine