In Haidilao International Holding Ltd.'s hot pot restaurants, robots are replacing chefs and waiters.