Microsoft sluit miljardendeal met Amerikaans leger over AR-headsets