Elon Musk's Boring Company will prioritize pedestrians over cars