Elon Musk seems serious about creating a boring company to solve traffic