国家统计局：7月铁矿石产量同比增加9.9%至7400万吨。