Observations on the Development Trends of China’s Mining and Rock-Drilling Technologies and Equipment