machine tools for mining machinery, namely, rock drills, air legs, fluid transfers, oil lubrication equipment, and roof supports