矿业智能化分选系统提供商「霍里思特」获 1 亿元人民币 A 轮融资