Traffic Control of AGVs in Automatic Warehouses: the TRAFCON Experiment