A Comparative Study between Optimization and Market-Based Approaches to Multi-Robot Task Allocation. (12th November 2013)