Convergence Results for Ant Routing Algorithms via Stochastic Approximation