Ligamentum flavum location