Computer-assisted virtual operation planning in anterior controllable anterior-displacement and fusion surgery for ossification of the posterior longitudinal ligament based on actual computed tomography data