Ten years ago, after complaining that traffic was ‘driving him nuts’, Musk’s Boring Company began building underground tunnels to ease congestion on the roads. Did he overpromise and underdeliver?