Single-stage anterior release and posterior instrumented fusion for irreducible atlantoaxial dislocation with basilar invagination.