China's coal-rich Shanxi Province has installed first 5G network in coal mine in order to promote mining safety.