Amazon Web Services, Microsoft and NVIDIA will provide AI tech to Pentagon