Surgical treatment of the severely damaged atlantoaxial joint with C1–C2 facet spacers