Modelling and analyzing the stacking strategies in automated container terminals | Synapse