How many revolutions does the drive shaft of a truck engine make during its lifetime?