How Big is the Infrared Detector Industry in 2025?