the use of compressors in mining