Después de que el array está ordenado, ¿qué algoritmo/método de búsqueda se puede aplicar para encontrar un usuario por ID más rápido que la búsqueda lineal?