Task allocation using a distributed market-based planning mechanism