Levantamento com imagens aéreas e inteligência artificial estimou público no pico entre 12,1 mil e 15,4 mil manifestantes em São Paulo