Atlantoaxial stabilization