Elon Musk is dead serious about boring tunnels to help solve L.A. traffic.