Gravar-mail: Is atlantoaxial instability the cause of “high” cervical ossified posterior longitudinal ligament? Analysis on the basis of surgical treatment of seven patients