Market-Based Task Allocation In Distributed Satellite Systems