Searching large indexes on tiny devices: optimizing binary search with character pinning