Robot Maker Doubles in Debut After Biggest 2023 South Korea IPO