Genome-based classification of Acidihalobacter prosperus F5 (=DSM 105917=JCM 32255) as Acidihalobacter yilgarnensis sp. nov.