‘Gracilibacillus phocaeensis’ sp. nov., ‘Sediminibacillus massiliensis’ sp. nov. and ‘Virgibacillus ndiopensis’ sp. nov., three halophilic species isolated from salty human stools by culturomics