Датчик утечки газа: разновидности и принцип работы