Recorde: tempo médio de abertura de empresas no Brasil cai para 23 horas