Examination into the taxonomic position of Bacillus thermotolerans Yang et al., 2013, proposal for its reclassification into a new genus and species Quasibacillus thermotolerans gen. nov., comb. nov. and reclassification of B. encimensis Dastager et al., 2015 as a later heterotypic synonym of B. badius