産業用ポンプ市場の規模、シェア、業界分析、タイプ別（遠心ポンプ、往復ポンプ、ロータリーポンプなど）、最終用途産業別（水・廃水、発電、石油・ガス、化学・石油化学、鉱業など）、地域別予測、2024～2032年