Intermodal terminal planning by Petri Nets and Data Envelopment Analysis