Elon Musk’s Boring Company plans ‘Not-a-Boring’ boring contest