Investigation of E. coli Biofilm Formation Dynamics Using Integrated in silico and in vitro Methods