how many potatoes for mashed potatoes