Joint Quay Crane and Automated Guided Vehicle Scheduling Optimization in Automated Container Terminals Considering Spare Battery Constraints | Synapse