Durable execution for reliable applications