Benchmarking the electricity use of deep-level mine compressors | IEEE Conference Publication | IEEE Xplore