ellie uses 12.5 pounds of potatoes to make mashed potatoes. she uses one-tenth as many pounds of butter potatoes. how many pounds of butter does ellie use?