Could you elaborate on how a transaction-based system enables durable execution?