infrared sensor definition