South Korea’s biggest IPO of the year is driven by beer-serving robots