Three-Dimensional Cutting Force Model and Experimental Study of Diamond Bead Wire Saw Cutting of Loaded Coal | Synapse