Composição ministerial e tamanho de governo no Brasil: uma análise do período de 1985 a 2019, sob a ótica da escolha pública. Documento