Text this: Research on Optimization of Mining Substitution in Wangzhuang Mine Based on System Dynamics