The Boring Company, yaklaşık 20 milyar dolar değerleme ile 4 milyar dolar yatırım almayı hedefliyor