The Boring Company could be Elon Musk’s most challenging futuristic venture of all