Design of an Infrared Imaging System for Robotic Inspection of Gas Leaks in Industrial Environments. (20th March 2015)