What is the turn over time of a semi, it could still take a long time before a majority of the fleet is electric.