How many potatoes should be used to make mashed potatoes for 40 people