Elon Musk’s Boring Company scales down its East Coast ambitions