Diagnostic Evaluation and Cervical Spine Surgery in the Setting of a Cardiac Left Ventricular Assist Device: Challenges and a Case Illustration