Surgical treatment for basilar invagination with irreducible atlantoaxial dislocation: transoral atlantoaxial reduction plate fixation vs occipitocervical fixation