Where can I find the size/value of public companies investment portfolios (vested in other companies stock)? Thanks