An introduction to microbial biofilms