EconomiaBrasil teve 9,6 mil empresas de ônibus habilitadas, mas 7,4 mil operaram em 2025, aponta ANTT