Text this: Analytical Investigations of Nonlinear Stiffness Characteristics of Halbach-Cylinder Magnetic Springs for Heavy-Load Capacity