Can peppermint flavoring be substituted for peppermint extract?