A comparative study of optimization models for the gas detector layout in offshore platform. (15th April 2022)