Text this: Production scheduling with multi-robot task allocation in a real industry 4.0 setting