Arrow–Debreu model