Methods for Predicting Synthetic Gene Circuits