付表5　世界鉱工業生産指数