A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange