A micromachined thermoelectric sensor for natural gas analysis: Thermal model and experimental results