Setor público brasileiro tem superávit de R$ 15 bilhões em novembro