shanghai metallurgical mining machine manufactory and