Biomechanical modeling of spinal ligaments: finite element analysis of L4-L5 spinal segment