Surface state trapping models for SnO2-based microhotplate sensors