Control and Coordination for Automated Container Terminals