Optimizing free-roaming dog control programs using agent-based models