Ethereum Foundation sells 5,000 ether to Tom Lee's BitMine in $10.2 million deal