A mathematical model to evaluate different train loading and stacking policies in a container terminal