o2 sensor definition