Tipos de extinção da punibilidade