Semiconductor junction gas sensors.