Theory of optimal blocking of nonregular factorial designs