Treze milhões entram no mercado formal