産業用ポンプの市場規模、シェアおよび業界分析、タイプ別（遠心ポンプ、往復ポンプ、回転ポンプ、その他）、用途別（石油とガス、水道と廃水、化学薬品と石油化学、鉱業、発電、その他）および地域別2023 年から 2030 年の予測