鉱業潤滑剤市場規模、シェア、新型コロナウイルス感染症の影響分析、種類別（鉱油潤滑剤、合成潤滑剤、バイオベース潤滑剤）、用途別（石炭採掘、鉄鉱石採掘、ボーキサイト採掘、レアアース鉱物、貴金属）鉱業、その他) と地域予測、2023 ～ 2030 年