Resection or preservation of the posterior longitudinal ligament in cervical artificial disc replacement: a clinical analysis