Describir: Wireless sensing of gas in mining with web service in real time