Electrochemical gas sensor