Density, porosity, and pore structure of biofilms