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.