Reducing compressed air wastage by installing new technology in underground mines | IEEE Conference Publication | IEEE Xplore