When Elias drives 100 miles on the highway, his car uses 4 gallons of gasoline. How much gasoline would his car use if he drives 250 miles on the highway?​