Container terminal management: integrated models and large-scale optimization algorithms