Surgical strategies for the treatment of os odontoideum with atlantoaxial dislocation.