גלאי דליפות גז קירור בעל דיוק גבוה, גלאי דליפות גז הלוגן למערכת קירור אוויר ומזגנים