oxygen sensor definition