Cervical disc arthroplasty at C2–3: illustrative case