An Effective Method for Gas-Leak Area Detection and Gas Identification with Mid-Infrared Image