A short convergence proof for a class of ant colony optimization algorithms