Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy.