Key engineering technologies to achieve green, intelligent, and sustainable development of deep metal mines in china