Extinção: cláusula resolutiva, onerosidade excessiva e exceção de contrato não cumprido