DoD spent $7.4 billion on big data, AI and the cloud last year. Is that enough?