define oxygen sensor