A simulation model of Escherichia coli osmoregulatory switch using E-CELL systemAnalysis of the lambdoid prophage element e14 in the E. coli K-12 genome