Derivative-Based Financial Network Clearing: Transition From Intractability to Computable Solutions