Dynamic modeling of cable shovel-formation interactions