It may be called The Boring Company, but Elon Musk’s infrastructure plans are anything but “boring.”