焦煤集团与山煤集团合并