Algebraic Experimental Design: Theory and Computation