comutação da pena definição