坑口設備市場予測は2032年まで年平均成長率5.0%を予測