Computationally Efficient Finite Element Models of the Lumbar Spine for the Evaluation of Spine Mechanics and Device Performance