مقياس سرعة الدوران في صناعة التعدين