Serpro e Dataprev lucraram R$ 4 bilhões em seis anos