Text this: Dynamic modeling of a double-pendulum gantry crane system /