Management of bilateral locked facets of the cervical spine.