Theory of optimal blocking of $2^{n-m}$ designs