Modeling and Design of Synthetic Biochemical Circuits for Biological Phenotypes