The Boring Company eyes $20 billion valuation in $4 billion funding round