A running time analysis of an Ant Colony Optimization algorithm for shortest paths in directed acyclic graphs