Comparison of C2 dome-like laminectomy with C2 partial laminectomy for upper cervical ossification of the posterior longitudinal ligament