The government's 9.9% stake in Intel, acquired for $8.9 billion last August, has grown to be worth more than $50 billion