Spinal navigation for posterior instrumentation of C1-2 instability using a mobile intraoperative CT scanner.