Transfer of Bacillus halodenitrificans Denariaz et al. 1989 to the genus Virgibacillus as Virgibacillus halodenitrificans comb. nov.