Ocado, a British online-grocery company, is using air-traffic-control systems and AI technology to co-ordinate 700 factory robots. Its use of technology has made it a challenger to Amazon’s grocery-delivery business.