Competition from Elon Musk’s company Boring starts