Magnetic resonance imaging showing ossification of the posterior longitudinal ligament in a mouse model of thoracic-to-lumbar spine measurement of bone morphology indicates that these genetically engineered mice are in a state of dynamic bone ossification