From Production Logistics to Smart Manufacturing: The Vision for a New RoboCup Industrial League