Submitted to Operations Research manuscript ( Please , provide the mansucript number ! ) Modeling and Design of Container Terminal Operations