Ellie uses 12.5 pounds of potatoes bto make mashed potatoes. She uses one tenths as many pounds of butter as potatoes how many pounds of butter does Ellie use?