Ants find the shortest path: A mathematical proofJayadevaSameena Shahet al.2013Swarm IntelligencePaper