AI will be a big part of the DOD's big data effort