A model for the gas sensing properties of tin oxide thin films with surface catalysts