Testable Implications of General Equilibrium Theory: A Differentiable Approach