Petri-net modelling of automated container handling in intermodal terminals