A steady-state diffusion model for solid-state gas sensors