Development continues on Pentagon's massive data-mining system