Micromachined Mixed-Potential-Type YSZ-Based Sensors for Nitrogen Dioxide Monitoring in Automobile Exhaust