Scheduling cooperative twin automated stacking cranes in automated container terminals. (February 2019)