Microsoft enlists AI to help Pentagon look up satellite data