Foundations for the design and implementation of synthetic genetic circuits