Depois de o array estar ordenado, qual algoritmo/método de busca pode ser aplicado para encontrar um usuário por ID mais rapidamente do que uma busca linear?