Optimization-based design of wireless sensor networks for gas monitoring systems in underground mines