عملية تعدين الصخور الصلبة