Scheduling heterogeneous multi-load AGVs with battery constraints | Synapse