Mechanistic mathematical models for the design of synthetic biological systems : DNA recombination, recombinase-based temporal logic gates and antibiotic production.