How much salt do you put in when cooking potatoes?