Biomechanical comparison of lumbar spine instability between laminectomy and bilateral laminotomy for spinal stenosis syndrome – an experimental study in porcine model | Synapse