Microsoft haalt miljardendeal Pentagon binnen