军工股票总市值多少