Top AI companies agree to work with Pentagon on secret data