Text this: Investigation of the Optimization of Unloading Mining Scheme in Large Deep Deposit Based on Vague Set Theory and Its Application