Remote Sensing Technologies for Gas Leak Detection, Visualisation and Quantification Using Infrared Imagers