Mathematical yield estimation for two-dimensional-redundancy memory arrays