How many potatoes should be boiled to make mashed potatoes for 20 people