Korean machinery market (2023–2025): semiconductor equipment, ICT machinery, robotics, industrial machinery trends; new export opportunities for SMEs.