What are the sensor types used in gas detectors?