Insights from the genome sequence of Bacillus tropicus EMB20, an efficient β-lactamase-producing bacterium