On efficiency in dynamic multi-robot task allocation