A discrete-time queueing network approach to performance evaluation of autonomous vehicle storage and retrieval systems | Synapse