Proteomic analysis of Bacillus subtilis strains engineered for improved production of heterologous proteins