A lexicographic optimization-based approach for efficient task allocation in industrial transportation multi-robot systems.