The atlantoaxial capsular ligaments and transverse ligament are the primary stabilizers of the atlantoaxial joint in the craniocervical junction: a finite element analysis