'Assassino do Twitter' que guardava cabeças de vítimas é executado após condenação