上海十三冶和中国十三冶有什么区别