Microsoft will no longer use engineers in China for Department of Defense work