矿业公司的合并