Boring Company, de Musk, capta US$ 3 mil milhões com avaliação de US$ 23 mil milhões