Biofilms of mutant strains of Desulfovibrio vulgaris Hildenborough were sampled and compared via proteomics