Atlas: automatic modeling of regulation of bacterial gene expression and metabolism using rule-based languages