Assessment of foraminal decompression following discoplasty using a combination of ex vivo testing and numerical tools