Digital Transformation in Coal Mining: IoT-Based Air Quality Monitoring System | IEEE Conference Publication | IEEE Xplore