population brazil china