A pure JavaScript Trie efficient enough for large-scale dictionary lookups