Pathology of ossification of the posterior longitudinal ligament and ligamentum flavum.