The Boring Company raised $3 billion at a $23 billion valuation, Quartz reports · Digg