Email zadetek: Modular, rule-based modeling for the design of eukaryotic synthetic gene circuits