Synthesis of Genetic Circuits from Graphical Specifications