A Preliminary Petri Net Model of the Transshipment Processes in the Taranto Container Terminal