Use of mine ventilation exhaust as combustion air in gas-fired turbo-electric generators | IEEE Journals & Magazine | IEEE Xplore