海力士，拟订购4000亿韩元半导体检测设备