MathematicalModels of Quorum Sensing Regulated Biofilms Development