Elon Musk’s Boring Co. raises $113 million to chase a pipe dream