Elon Musk’s Boring Company reportedly raising funding at a $20 billion valuation