Example of using the BinaryMaxSum library to solve the tasks-to-robots allocation problem