Compression-distraction reduction surgical verification and optimization to treat the basilar invagination and atlantoaxial dislocation: a finite element analysis. Issue 2 (December 2016)