Hypergraphical Real-Time Multirobot Task Allocation in a Smart Factory