A comparative study of optimization models for the gas detector placement in process facilities. (5th December 2020)