Computing Large Market Equilibria Using Abstractions