Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli