Elon Musk Boring Company valuation just shot up to $5.7 billion | Fortune