Ligamentum flavum hypertrophy animal models: methodological trade-offs and future directions | Synapse