Biomechanical investigation of intra-articular cage and cantilever technique in the treatment of congenital basilar invagination combined with atlantoaxial dislocation: a finite element analysis.