A muscle-preserving, spinous process-splitting approach for ossification of the ligamentum flavum in the thoracic spine in professional athletes: a report of three cases.