Model-Based Design Of Synthetic Biological Circuits