Synonyms are used on index or query time? If I add new synonyms to the index, do I need to reindex?