Evaluation of bone strength using finite-element analysis in patients with ossification of the posterior longitudinal ligament.