A global stochastic programming approach for the optimal placement of gas detectors with nonuniform unavailabilities. (January 2018)