PAUSE: a computationally tractable combinatorial auction