High-Efficiency Dynamic Modeling of a Helical Spring Element Based on the Geometrically Exact Beam Theory