How sewer robots helped a Taiwan city kill off disease-carrying mosquitoes