Statistics of A "new" design requirement: the mitigation of the progressive collapse of buildings under exceptional loading