韩国半导体产值多少亿