Compressed air alternative solutions: Challenges encountered in deep level mining | IEEE Conference Publication | IEEE Xplore