Management of the vertebral artery in excision of extradural tumors of the cervical spine.