Sequencing dual-spreader crane operations: Mathematical formulation and heuristic algorithm. - Shabnam Lashkari; Yong Wu 001; Matthew E. H. Petering (Eur. J. Oper. Res., 2017)