Surgical treatment of the severely damaged atlantoaxial joint with C 1 – C 2 facet spacers Three case reports