Ellie uses 12.5 pounds of potatoes to make mashed potatoes.She uses one-tenth as many pounds of butter as potatoes.How many pounds of butter does Ellie use?