Text this: Formula of Cylindrical Spring Stiffness for Nonlinear Large Deformation and Its FEM Verification