A poker-playing robot goes to work for the Pentagon