Mining Lubricants Market Size, Share, Growth, and Industry Analysis, By Type (Mineral Oil Lubricants, Synthetic Lubricants, Bio-based Lubricants), By Application (Coal Mining, Bauxite Mining, Iron ore Mining, Precious Metals Mining, Rare Earth Mineral Mining, Others), Regional Insights and Forecast to 2035