Musk's Boring Co. Hits $20B Valuation With Unusual Investor Terms