O efeito do horário de verão nos índices de violência: evidências internacionais e nacionais, e para o estado e município do Rio de Janeiro