Rule-based modeling of transcriptional attenuation at the tryptophan operon