Optimizing Free Roaming Dog Control Programs Using Agent Based Models