How long does recovery from spinal stenosis surgery take?