Where does the money go generated from the stake the government has in all of these companies?