Lumped parameter models of human spinal ligaments