DOD saves $100M a year with new Microsoft licensing deal