Elon Musk: Tesla Semi Efficiency Is 1.7 kWh/mile