Scheduling Automated Guided Vehicles in Container Terminals Using Max-plus-linear Systems