Design of a Dielectric Elastomer Cylindrical Actuator With Quasi-Constant Available Thrust: Modeling Procedure and Experimental Validation