China's largest hard coal producer in Shanxi Province has finished building a 5G network in one of its mines, paving the way for 5G-based smart mining.