Dry port as a lean and green strategy in a container terminal HUB: a mathematical programming model | Synapse