Resection of uncovertebral joints and posterior longitudinal ligament for cervical disc arthroplasty