How many potatoes per person for mashed potatoes