what is the cooking time for mashed potatoes