Musk's Boring Company to prioritise pedestrians over cars