If a 5000 pound car gets only 12 miles per gallon, what will be fuel efficiency in miles per gallon of 2000 pound car?