Real-time imaging of methane gas leaks using a single-pixel camera