Accurate Predictions of Genetic Circuit Behavior from Part Characterization and Modular Composition