Sinopse do censo demográfico para o semiárido brasileiro