A market mechanism for qos-aware multi-robot task allocation