长鑫存储上市，你估计总市值是多少？