Microsoft troeft Amazon af bij miljardendeal Pentagon