Model-based design of synthetic circuits under uncertainty