Número de pessoas ocupadas chega a 102,4 milhões, e mercado formal registra novo recorde com 39,1 milhões de trabalhadores com carteira assinada