Mathematical Modeling of Biofilms