中芯国际港股市值应该是多少