Influence of extensive laminectomy on the shape of the spinal canal.