Microsoft is a major provider of cloud services and artificial intelligence for the Israeli military, according to internal documents.