Army of 10,000 robots to help run Amazon warehouses