Carbonicoccus gen. nov., Carbonicoccus zhangzhihongae sp. nov. and Carbonicoccus niuqiaonis sp. nov., novel taxa assignable to the family Propionibacteriaceae and derived from the coal mine dust samples in Shanxi Province of China | Synapse