The Importance of Industrial Air Compressors in the Mining Industry