Laser patterning of thin-film electrochemical gas sensors