População brasileira chega a 213,4 milhões em julho de 2025