An Energy Efficient Time Synchronization Method for Underground Coal Mine Internet of Things Sensing Layer