Mine Laser Methane Sensor and Its Application Development | IEEE Conference Publication | IEEE Xplore