Infra-red temperature sensor