a股总市值有多少