Text this: Migration Characteristics of Boring Mud in Roadway Floor Anchor Wire Hole and Test in Coal Mine