História econômica e gastos públicos: As origens da educação básica no Brasil