A spine model with grade 1 anterior spondylolisthesis - useful for explaining spinal stenosis symptoms