Cervical spine surgery in children.