Is it necessary to use a Miami J collar after a cervical spinal cord is implanted?