电脑巨头IBM全球裁员1·3万人