Progression of ossification of the posterior longitudinal ligament of the thoracic spine following posterior decompression and stabilization.