Production of dehydrated mashed potatoes