Computer-Based 3D Simulations to Formulate Preoperative Planning of Bridge Crane Technique for Thoracic Ossification of the Ligamentum Flavum