Models for supporting maritime logistics: a case study for improving terminal planning