tipificação do terrorismo