¿Cómo se diagnostica la estenosis espinal?