Google, Pentagon strike deal for artificial intelligence services