Light at the end of the tunnel? Elon Muskandapos;s Boring Company sees solution to traffic congestion