Supercomputer Designs Energy-Efficient Trucks, Potentially Saving Billions in Fuel Costs