Application of an Automated Top Coal Caving Control System: The Case of Wangjialing Coal Mine | Synapse