20131217 unknown: Why Google is buying maker of military robots