海力士市值1.4万亿美元，约合9.5万亿人民币，长鑫科技是世界第四大存储芯片公司